Ordinal numbers - PDFSEARCH.IO - Document Search Engine

Ordinal numbers
Results: 227

#	Item
41	Fast Additive Constant Approximation Algorithms for The Safe Deposit Boxes Problem with Two and Three Currencies Boaz Ben-Moshe1 1 Yefim Dinitz2 Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:26:42 Ordinal numbers Logic Ordinal arithmetic Set theory Curry–Howard correspondence Mathematical logic Proof theory Mathematics
42	CCCG 2010, Winnipeg MB, August 9–11, 2010 Minimum Enclosing Area Triangle with a Fixed Angle Prosenjit Bose∗ Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:18 Ordinal numbers Automata theory Differential geometry Mathematics Connection Fiber bundles
43	Integrated Genotyping of Structural Varia5on in NGS Data Xian Fan Luay Nakhleh Ken Chen Add to Reading List Source URL: www.clear.rice.edu Language: English - Date: 2014-05-01 17:07:02
44	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
45	CCCG 2010, Winnipeg MB, August 9–11, 2010 On the perimeter of fat objects Prosenjit Bose∗ Otfried Cheong† Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:18 Triangle Triangle geometry Triangles Ordinal numbers Set theory Functional analysis Curry–Howard correspondence Symbol Geometry Mathematics Mathematical logic
46	Global behavior of a plant-herbivore model Add to Reading List Source URL: www.advancesindifferenceequations.com Language: English Set theory Dynamical systems Curry–Howard correspondence Proof theory Type theory Ordinal arithmetic Mathematical logic Mathematics Ordinal numbers
47	Zhang et al. Advances in Diﬀerence Equations:108 DOIs13662RESEARCH Open Access Add to Reading List Source URL: www.advancesindifferenceequations.com Language: English Mathematics Proof theory Transcendental numbers Ordinal numbers Logic Constructible universe Mathematical logic Diophantine approximation
48	Power-Aware Speed Scaling in Processor Sharing Systems Adam Wierman Computer Science Department California Institute of Technology Add to Reading List Source URL: www.caia.swin.edu.au Language: English - Date: 2010-08-02 23:33:59 Set theory Ordinal numbers Proof theory Ordinal arithmetic
49	Power-Aware Speed Scaling in Processor Sharing Systems Adam Wierman Computer Science Department California Institute of Technology Add to Reading List Source URL: users.monash.edu Language: English - Date: 2014-01-09 20:53:07 Set theory Ordinal numbers Proof theory Ordinal arithmetic
50	Strong laws of large numbers for capacities ∗ Zengjing Chen Shandong University and Ajou University JinanChina, Suwon Korea E-mail: Add to Reading List Source URL: www.statistics.gov.hk Language: English - Date: 2013-08-22 04:39:21 Probability and statistics Choquet integral Central limit theorem Expected value Almost surely Random variable Brownian motion Ordinal number Markov chain Statistics Probability theory Mathematical analysis